Paxos Made Simple Leslie Lamport 01 Nov 2001 Abstract The Paxos algorithm, when presented in plain English, is very simple.

Source URL: www.cs.utah.edu

hlf_2016_participating_laureates.indd

Source URL: www.heidelberg-laureate-forum.org

• Turing Award laureates
• Turing Award
• Nevanlinna Prize
• Robert Tarjan
• John Hopcroft
• Barbara Liskov
• Fields Medal
• Leslie Lamport
• Stephen Cook
• Alan Turing
• Tony Hoare
• Turing

The Part-Time Parliament Leslie Lamport This article appeared in ACM Transactions on Computer Systems 16, 2 (May 1998), Minor corrections were made on 29 August 2000.

Source URL: www.eecs.harvard.edu

• Political terminology
• Majority
• Parliamentary procedure
• Quorum
• Spoilt vote
• Ballot

Leaderless Byzantine Paxos Leslie Lamport Microsoft Research Appeared in Distributed Computing: 25th International Symposium: DISC 2011, David Peleg, editor. Springer-Verlag–142

Source URL: research.microsoft.com

• Fault-tolerant computer systems
• Distributed algorithms
• Paxos
• Consensus
• Byzantine fault tolerance
• Leslie Lamport
• Distributed computing
• Paxi
• Leader election
• Michael J. Fischer
• Virtual synchrony

The Raft Consensus Algorithm Diego Ongaro and John Ousterhout November 2015 

Source URL: raft.github.io

• Fault-tolerant computer systems
• Computing
• Concurrent computing
• Distributed computing
• Paxos
• Replication
• Consensus
• Raft
• Leslie Lamport
• Virtual synchrony
• State machine replication

Lower Bounds for Asynchronous Consensus Leslie Lamport 28 July 2004 Revised 20 August 2005 Minor corrections made 19 January 2006

Source URL: research.microsoft.com

• Fault-tolerant computer systems
• Theoretical computer science
• Consensus
• Algorithm
• Computing
• Mathematics
• Distributed algorithms
• Machine learning

Paxos Made Simple Leslie Lamport 01 Nov 2001 Abstract The Paxos algorithm, when presented in plain English, is very simple.

Source URL: www.news.cs.nyu.edu

Paxos Made Simple Leslie Lamport 01 Nov 2001 Abstract The Paxos algorithm, when presented in plain English, is very simple.

Source URL: css.csail.mit.edu

• Political philosophy
• Politics
• Fault-tolerant computer systems
• Consensus
• Communications protocol
• Proposal

A Quick Look at LATEX Andrew Roberts July 9, Introduction LATEX is a typesetting system developed by Leslie Lamport[4]. It builds on foundations created by Donald Knuth’s TEX system[3]. TEX became very popular w

Source URL: www.andy-roberts.net

A Quick Look at LATEX Andrew Roberts July 10, Introduction LATEX is a typesetting system developed by Leslie Lamport [Lamport, It builds

Source URL: www.andy-roberts.net